• Home
• Categories
• Type Inference

Type Inference

Functorial ML

Applied Mathematics / Functional Programming / Computer Software / Numerical Analysis and Computational Mathematics / Type Inference

Download

A type-coercion problem in computer algebra

Universal Algebra / Polymorphism / First-Order Logic / Computer Algebra / Type System / Type Inference

Download

Hasta-La-Vista: Termination analyser for logic programs

System Architecture / Termination Analysis / Type Inference

Download